Quantitative Analysis of Opacity in Cloud Computing Systems

The file attached to this record is the author's final peer reviewed version. The Publisher's final version can be found by following the DOI link.Federated cloud systems increase the reliability and reduce the cost of the computational support. The resulting combination of secure private clouds and less secure public clouds, together with the fact that resources need to be located within different clouds, strongly affects the information flow security of the entire system. In this paper, the clouds as well as entities of a federated cloud system are assigned security levels, and a probabilistic flow sensitive security model for a federated cloud system is proposed. Then the notion of opacity --- a notion capturing the security of information flow --- of a cloud computing systems is introduced, and different variants of quantitative analysis of opacity are presented. As a result, one can track the information flow in a cloud system, and analyze the impact of different resource allocation strategies by quantifying the corresponding opacity characteristics

Separation of variables for soliton equations via their binary constrained flows

Binary constrained flows of soliton equations admitting $2\times 2$ Lax matrices have 2N degrees of freedom, which is twice as many as degrees of freedom in the case of mono-constrained flows. For their separation of variables only N pairs of canonical separated variables can be introduced via their Lax matrices by using the normal method. A new method to introduce the other N pairs of canonical separated variables and additional separated equations is proposed. The Jacobi inversion problems for binary constrained flows are established. Finally, the factorization of soliton equations by two commuting binary constrained flows and the separability of binary constrained flows enable us to construct the Jacobi inversion problems for some soliton hierarchies.Comment: 39 pages, Amste

Gapped quantum liquids and topological order, stochastic local transformations and emergence of unitarity

In this work we present some new understanding of topological order, including three main aspects: (1) It was believed that classifying topological orders corresponds to classifying gapped quantum states. We show that such a statement is not precise. We introduce the concept of \emph{gapped quantum liquid} as a special kind of gapped quantum states that can "dissolve" any product states on additional sites. Topologically ordered states actually correspond to gapped quantum liquids with stable ground-state degeneracy. Symmetry-breaking states for on-site symmetry are also gapped quantum liquids, but with unstable ground-state degeneracy. (2) We point out that the universality classes of generalized local unitary (gLU) transformations (without any symmetry) contain both topologically ordered states and symmetry-breaking states. This allows us to use a gLU invariant -- topological entanglement entropy -- to probe the symmetry-breaking properties hidden in the exact ground state of a finite system, which does not break any symmetry. This method can probe symmetry- breaking orders even without knowing the symmetry and the associated order parameters. (3) The universality classes of topological orders and symmetry-breaking orders can be distinguished by \emph{stochastic local (SL) transformations} (i.e.\ \emph{local invertible transformations}): small SL transformations can convert the symmetry-breaking classes to the trivial class of product states with finite probability of success, while the topological-order classes are stable against any small SL transformations, demonstrating a phenomenon of emergence of unitarity. This allows us to give a new definition of long-range entanglement based on SL transformations, under which only topologically ordered states are long-range entangled.Comment: Revised version. Figures and references adde

Holographic Van der Waals phase transition for a hairy black hole

The Van der Waals(VdW) phase transition in a hairy black hole is investigated by analogizing its charge, temperature, and entropy as the temperature, pressure, and volume in the fluid respectively. The two point correlation function(TCF), which is dual to the geodesic length, is employed to probe this phase transition. We find the phase structure in the temperature$-$geodesic length plane resembles as that in the temperature$-$thermal entropy plane besides the scale of the horizontal coordinate. In addition, we find the equal area law(EAL) for the first order phase transition and critical exponent of the heat capacity for the second order phase transition in the temperature$-$geodesic length plane are consistent with that in temperature$-$thermal entropy plane, which implies that the TCF is a good probe to probe the phase structure of the back hole.Comment: Accepted by Advances in High Energy Physics(The special issue: Applications of the Holographic Duality to Strongly Coupled Quantum Systems